- логика программы
- Programmlogik
Russisch-deutsch wörterbuch polytechnischen. 2013.
логика программы
Schlagen Sie auch in anderen Wörterbüchern nach:
логика программы — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN program logic … Справочник технического переводчика
ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… … Философская энциклопедия
Логика в информатике — Логика в информатике это направления исследований и отраслей знания, где логика применяется в информатике и искусственном интеллекте. Логика очень эффективна в этих областях[1]. Содержание 1 Область применения … Википедия
Логика в компьютерных науках — Логика в информатике это направления исследований и отрасли знания, где логика применяется в информатике и искусственном интеллекте. Логика оказалась гораздо более эффективной в информатике, чем это было в математике[1]. Включаются следующие… … Википедия
логика в компьютерных науках — ЛОГИКА В КОМПЬЮТЕРНЫХ НАУКАХ способы прикладного использования логики, подразделяемые на четыре основных направления. Первое логика как теоретический инструмент при проектировании вычислительных устройств. Второе реализация логических… … Энциклопедия эпистемологии и философии науки
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
Логика Хоара — (англ. Hoare logic, также Floyd Hoare logic, или Hoare rules) формальная система с набором логических правил, предназначенных для доказательства корректности компьютерных программ. Была предложена в 1969 году английским учёным в… … Википедия
логика — ЛОГИКА (от греч. logik (logos) слово, разум, рассуждение) наука о правильных (корректных) рассуждениях. Традиционно рассуждение состоит из последовательности предложений, названных посылками, из которых следует единственное предложение,… … Энциклопедия эпистемологии и философии науки
логика прикладная — ЛОГИКА ПРИКЛАДНАЯ понятие, объединяющее разработки и способы систематического использования логического аппарата для решения конкретных практических задач. При этом необходимо различать Л. п. и отдельные приложения логики. Для Л. п.… … Энциклопедия эпистемологии и философии науки
Программы антикризисных мер правительства России — Принятый правительством РФ в ноябре 2008 года план антикризисных мер, состоявший из 55 мероприятий, к лету 2009 года был практически полностью выполнен. 19 июня 2009 года премьер министр РФ Путин подписал программу антикризисных мер, которая… … Энциклопедия ньюсмейкеров
ЛОГИКА — (греч. logike, от logikos построенный на рассуждении), дисциплина, изучающая формы и законы правильных, т.е. способных служить расширению знания, умственных построений. От Л. как науки следует отличать Л. как связь и динамику логически правильной … Российская педагогическая энциклопедия
